
public class IstuplePE extends EnvTreeNode implements PEObject{

	public IstuplePE() {
		super("<PE:Istuple>");
	}

	public String apply(String param1, String param2){
		if ( param1.length() > 5 &&
				param1.substring(0,7).equals("$$tau::") ){
			return "<true>";
		}else if ( param1.equals("<nil>") ){
			return "<true>";
		}else{
			return "<false>";
		}
	}
}
